Computer Science

Module	LV Type	CP	LV	Dates	Examination
Actions and Planning in AI: Learning, Models, and Algorithms	Fach-/Modulprüfung	6	530726		Di 05.08.2025 09:00-11:00 AachenMünchener Halle (Aula) (1010\|131) Di 02.09.2025 09:00-11:00 AH IV (2354\|030)
	Vorlesung		526438	Di 16:30-18:00 Phil (1070\|113) (×10) Do 16:30-18:00 Be 225 (1140\|225) (×10)
	Übung		526827	Mi 10:30-12:00 Be 114 (1140\|114) (×12)
Advanced Algorithmic Differentiation	Fach-/Modulprüfung	6	535403		Mi 13.08.2025 12:00-13:30 H 212 (1400\|212) I (1010\|101) Di 16.09.2025 14:30-16:00 Knorr-Bremse-Hörsaal (H04) (1385\|103) PPS H2 (2315\|001)
Advanced Algorithmic Differentiation	Vorlesung/Übung		532361	Mo 10:30-12:00 AH III (2350\|314.1) (×13) Mi 12:30-14:00 AH III (2350\|314.1) (×14)
Advanced Automata Theory	Fach-/Modulprüfung	6	531708
Advanced C++	Fach-/Modulprüfung	4	530725
Advanced Internet Technology	Fach-/Modulprüfung	6	528031		Di 19.08.2025 12:00-13:30 H01 (1385\|101) Do 18.09.2025 12:00-13:30 Otto Fuchs-Hörsaal (H03) (1385\|003)
	Vorlesung		523913	Di 14:30-16:00 AH I (2350\|028) (×13) Fr 10:30-12:00 AH I (2350\|028) (×12)
	Übung		524317	Fr 12:30-14:00 AH I (2350\|028) (×11)
Advanced Machine Learning	Fach-/Modulprüfung	6	531242
Advanced Machine Learning	Vorlesung		524468	Mo 12:30-14:00 HKW 2 (1132\|303) (×13) Do 12:30-14:00 AH IV (2354\|030) (×11)
Advanced Process Mining	Fach-/Modulprüfung	6	531360		Mi 30.07.2025 09:00-11:00 TEMP2 (1515\|002) Mo 01.09.2025 09:00-11:00 TEMP2 (1515\|002)
	Vorlesung		525715	Di 16:30-18:00 AH V (2356\|050) (×14) Do 10:30-12:00 AH VI (2356\|051) (×11)
	Übung		525716	Mo 14:30-16:00 AH VI (2356\|051) (×12)
Advanced Topics in Machine Learning for Human Language Technology	Fach-/Modulprüfung	4	529448
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	528281
Automatic Speech Recognition Search	Fach-/Modulprüfung	4	529221
	Vorlesung		526763	Di 08:30-10:00 5054 (2356\|054) (×9) Mi 10:30-12:00 AH III (2350\|314.1) (×4) Do 10:30-12:00 5054 (2356\|054) (×5)
	Übung		526764	Mi 10:30-12:00 AH III (2350\|314.1) (×5) Do 10:30-11:00 5054 (2356\|054) (×1) Do 10:30-12:00 5054 (2356\|054) (×1)
Business Process Intelligence	Fach-/Modulprüfung	6	530026		Do 07.08.2025 12:00-14:00 AH IV (2354\|030) AOC (2020\|131) PPS H1 (2315\|101) Di 09.09.2025 09:00-11:00 PPS H1 (2315\|101) PPS H2 (2315\|001)
	Vorlesung		525690	Mo 14:30-16:00 AH V (2356\|050) (×13) Di 12:30-14:00 AH V (2356\|050) (×13)
	Übung		525691	Mi 10:30-12:00 AH IV (2354\|030) (×14)
Communication Systems Engineering	Fach-/Modulprüfung	6	527988
Computer Vision	Fach-/Modulprüfung	6	532120
Computer Vision	Vorlesung/Übung		524905	Mo 10:30-12:00 TEMP2 (1515\|002) (×13) Do 08:30-10:00 TEMP2 (1515\|002) (×11)
CSCW and Groupware: Concepts and Systems for Computer Supported Cooperative Work	Fach-/Modulprüfung	4	532113
Current Topics in Media Computing and HCI	Fach-/Modulprüfung	6	531703		Di 22.07.2025 09:00-10:00 AH IV (2354\|030) Mi 27.08.2025 14:00-15:00 AH VI (2356\|051)
Current Topics in Media Computing and HCI	Vorlesung/Übung		525440	Di 10:30-12:00 Extern (×11) Mi 12:30-14:00 Extern (×13)
Datenstrommanagement und -analyse	Fach-/Modulprüfung	6	529777
Datenstrommanagement und -analyse	Vorlesung/Übung		526822	Mo 08:30-10:00 AH III (2350\|314.1) (×12) Fr 08:30-10:00 Großer B-IT Raum (2356\|053.2) (×12)
Designing Interactive Systems II	Fach-/Modulprüfung	6	532115		Do 24.07.2025 14:30-15:30 AH IV (2354\|030) Mi 27.08.2025 09:00-10:00 AH VI (2356\|051)
Designing Interactive Systems II	Vorlesung/Übung		525350	Mo 14:30-16:00 Extern (×12) Mi 09:30-12:00 Extern (×14)
Distributed Ledger Technology	Fach-/Modulprüfung	4	530684
Dynamical Processes on Networks	Fach-/Modulprüfung	6	529284
Eingebettete Systeme	Fach-/Modulprüfung	6	532112
	Vorlesung/Übung		524753	Mo 16:30-18:00 H07 (1385\|104) (×12) Mi 10:30-12:00 H07 (1385\|104) (×13)
	Vorlesung/Übung		527290	Mo 14:30-16:00 AH III (2350\|314.1) (×12) Di 18:30-20:00 H06 (1385\|004) (×13)
Fixpoints and Induction in Logic and Computer Science	Fach-/Modulprüfung	6	529313		Mo 04.08.2025 09:00-10:30 AH V (2356\|050) AH VI (2356\|051) Mo 15.09.2025 09:00-10:30 AH V (2356\|050)
	Vorlesung		526041	Mo 10:30-12:00 5056 (2356\|056) (×12) Di 08:30-10:00 5056 (2356\|056) (×13)
	Übung		526841	Mi 12:30-14:00 Seminarraum i7, Raum 4116 (2353\|116) (×3) Fr 12:30-14:00 5052 (2356\|052) (×11)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	531334
Foundations of Logic Programming	Fach-/Modulprüfung	6	531301		Mi 06.08.2025 09:00-11:00 Großer Hörsaal AM (1420\|210) H01 (1385\|101) H02 (1385\|102) Otto Fuchs-Hörsaal (H03) (1385\|003) Mo 01.09.2025 09:00-11:00 Großer Hörsaal AM (1420\|210) H02 (1385\|102)
	Übung		532443	Do 10:30-12:00 AH IV (2354\|030) (×11)
	Vorlesung		532442	Do 16:30-18:00 AH II (2350\|111) (×11) Fr 14:30-16:00 AH III (2350\|314.1) (×13)
Fundamentals of Business Process Management	Fach-/Modulprüfung	6	529879
Geometrieverarbeitung	Fach-/Modulprüfung	6	532114
	Vorlesung		525193	Di 10:30-12:00 AH VI (2356\|051) (×13) Do 10:30-12:00 AH III (2350\|314.1) (×11)
	Übung		524333	Fr 10:30-12:00 AH V (2356\|050) (×13)
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	531837
Höhere Algorithmik	Fach-/Modulprüfung	6	529871
Industrial Data Security	Fach-/Modulprüfung	6	534964		Mi 20.08.2025 14:30-16:00 TEMP2 (1515\|002) Do 25.09.2025 09:00-10:30 TEMP1 (1515\|001)
	Vorlesung		534234	Di 10:30-12:00 AH V (2356\|050) (×12) Mi 10:30-12:00 AH V (2356\|050) (×14)
	Übung		534235	Do 10:30-12:00 AH II (2350\|111) (×7)
Infinite Computations and Games	Fach-/Modulprüfung	6	528510
Introduction to Numerical Methods and Software with C++	Fach-/Modulprüfung	6	529271		Fr 08.08.2025 09:00-10:30 EA (1270\|109) II (1010\|201) Fr 19.09.2025 14:30-16:00 BS I (2131\|101) BS II (2131\|102)
Introduction to Numerical Methods and Software with C++	Vorlesung/Übung		558529	Di 10:30-12:00 AH III (2350\|314.1) (×13) Mi 08:30-10:00 AH III (2350\|314.1) (×14)
Introduction to Program Synthesis	Vorlesung		557865	Mi 12:30-14:30 Extern (×13)
Introduction to Program Synthesis	Übung		557868	Do 10:30-12:00 Extern (×11) Do 12:30-14:00 Extern (×11)
Introduction to Quantum Computing	Fach-/Modulprüfung	6	529571		Mi 13.08.2025 12:00-13:30 Sparkassenforum (nur ePruefungen) (1040\|U234) Di 09.09.2025 09:00-10:30 ZuseLab C1 (2315\|107)
	Vorlesung		526173	Mo 16:30-18:00 TEMP1 (1515\|001) (×13) Fr 16:30-18:00 Otto Fuchs-Hörsaal (H03) (1385\|003) (×13)
	Übung		526126	Di 10:30-12:00 TEMP2 (1515\|002) (×12)
IT-Sicherheit 1 - Kryptographische Grundlagen und Netzwerksicherheit	Fach-/Modulprüfung	6	529007
IT-Sicherheit 2 - Computer Security	Fach-/Modulprüfung	6	531702
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	531403
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		525837	Mo 12:30-14:00 5056 (2356\|056) (×13) Do 12:30-14:00 5056 (2356\|056) (×10)
Logics for Reasoning about Uncertainty	Fach-/Modulprüfung	4	528253
Machine Learning with Graphs: Foundations and Applications	Fach-/Modulprüfung	6	530455
Mikrocontrollerprogrammierung und Fehlersuche	Fach-/Modulprüfung	6	530387
	Vorlesung/Übung		527000	Di 12:30-14:00 H09 (1385\|220) (×12) Mi 08:30-10:00 H11 (1385\|218) (×13)
	Vorlesung/Übung		527000	Di 12:30-14:00 H09 (1385\|220) (×12) Mi 08:30-10:00 H11 (1385\|218) (×13)
Mobile Internet Technology	Fach-/Modulprüfung	6	531302		Mo 21.07.2025 12:00-13:30 H01 (1385\|101) Do 11.09.2025 09:00-10:30 Otto Fuchs-Hörsaal (H03) (1385\|003)
Mobile Internet Technology	Vorlesung/Übung		524897	Mo 14:30-16:00 AH I (2350\|028) (×11) Do 10:30-12:00 AH I (2350\|028) (×8) Fr 14:30-16:00 AH I (2350\|028) (×12)
Model Checking	Fach-/Modulprüfung	6	531296
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	528987		Di 05.08.2025 09:00-11:00 H05 (1385\|105) Di 09.09.2025 09:00-11:00 H05 (1385\|105)
	Vorlesung		533817	Di 10:30-12:00 5055 (2356\|055) (×12) Di 10:30-12:00 UMIC_025 (2165\|025) (×1) Mi 08:30-10:00 5056 (2356\|056) (×14)
	Übung		533818	Do 14:30-16:00 5056 (2356\|056) (×11)
Modellbasierte Softwareentwicklung	Fach-/Modulprüfung	6	532109
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	531297
Near-term Quantum Computation	Fach-/Modulprüfung	6	529755
	Vorlesung		527606	Fr 10:30-12:00 R 140 (1080\|140) (×13)
	Übung		526285	Do 16:30-18:00 R 140 (1080\|140) (×11)
Online Algorithmen	Fach-/Modulprüfung	6	528361
Optimization and Uncertainty	Fach-/Modulprüfung	6	535020		Mi 23.07.2025 14:30-16:00 Otto Fuchs-Hörsaal (H03) (1385\|003) Mo 25.08.2025 14:30-16:00 H06 (1385\|004)
	Vorlesung		535018	Mo 10:30-12:00 AH I (2350\|028) (×13) Di 08:30-10:00 AH III (2350\|314.1) (×14)
	Übung		535019	Mi 10:30-12:00 SG 512 (1810\|512) (×13)
Physikalische Simulation im Visual Computing	Fach-/Modulprüfung	6	528176
	Fach-/Modulprüfung	6	530650		Mo 11.08.2025 09:00-16:00 Mi 13.08.2025 09:00-16:00 Mo 15.09.2025 09:00-16:00 Mi 17.09.2025 09:00-16:00
	Vorlesung/Übung		527199	Mi 10:30-12:00 AH II (2350\|111) (×14) Fr 10:30-12:00 5056 (2356\|056) (×13)
Probabilistic Programming	Fach-/Modulprüfung	4	528386
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	3	532122
Prozesse und Methoden beim Testen von Software	Fach-/Modulprüfung	6	532121
Quantum Computing	Fach-/Modulprüfung	4	528513
Reinforcement Learning and Learning-based Control	Fach-/Modulprüfung	6	531736		Fr 05.09.2025 12:00-14:00 Großer Hörsaal AM (1420\|210) TEMP1 (1515\|001)
	Vorlesung		526605	Mi 10:30-12:00 PPS H2 (2315\|001) (×14)
	Übung		526386	Mi 12:30-14:00 PPS H2 (2315\|001) (×14)
Research Focus Class on Learning Technologies	Fach-/Modulprüfung	6	531312
Shape Analysis and 3D Deep Learning	Fach-/Modulprüfung	6	529034		Di 19.08.2025 09:00-11:00 H01 (1385\|101) Do 25.09.2025 12:00-14:00 AachenMünchener Halle (Aula) (1010\|131)
	Übung		527084	Do 12:30-14:00 AH III (2350\|314.1) (×11)
	Vorlesung		527270	Di 14:30-16:00 AH V (2356\|050) (×12) Do 14:30-16:00 AH VI (2356\|051) (×11)
Software-Projektmanagement	Fach-/Modulprüfung	4	531306		Mo 21.07.2025 09:00-10:30 H02 (1385\|102) Di 02.09.2025 12:00-13:30 Grüner Hörsaal AM (Gr) (1420\|001)
	Vorlesung		525464	Mi 12:30-14:00 AH VI (2356\|051) (×1) Do 12:30-14:00 AH VI (2356\|051) (×10) Fr 10:30-12:00 AH VI (2356\|051) (×13)
	Übung		523985	Fr 12:30-14:00 AH VI (2356\|051) (×13)
Software-Qualitätssicherung	Fach-/Modulprüfung	6	531253
Statistische Methoden zur Verarbeitung natürlicher Sprache	Fach-/Modulprüfung	8	531402
Stochastic Processes and Dynamical Systems	Fach-/Modulprüfung	4	530737
The Logic of Knowledge Bases	Fach-/Modulprüfung	6	528373
Theory of Constraint Satisfaction Problems	Fach-/Modulprüfung	6	531216
Theory of Distributed and Parallel Systems	Fach-/Modulprüfung	6	528061
Theory of Distributed Systems	Fach-/Modulprüfung	6	535016		Fr 25.07.2025 15:30-17:00 Grüner Hörsaal AM (Gr) (1420\|001) Mo 25.08.2025 09:00-10:30 HKW 1 (1132\|203)
	Vorlesung		535014	Mo 08:30-10:00 AH I (2350\|028) (×13) Di 10:30-12:00 AH I (2350\|028) (×13)
	Übung		535015	Mi 16:30-18:00 HKW 3 (1132\|504) (×2) Do 10:30-12:00 HKW 3 (1132\|504) (×11)
Wissensrepräsentation	Fach-/Modulprüfung	6	531310